Tamarin compatibility

Tamarin: Concolic Disequivalence for MIPS

Given two MIPS programs, when are they equivalent? At first glance, this is tricky to define, because of the unstructured nature of assembly code. We propose the use of alternating concolic execution to detect whether two programs are disequivalent. We have implemented our approach in a tool called Tamarin, which includes a MIPS emulator instrumented to record symbolic traces, as well as a conc...

Tamarin and marmoset mating systems: Unusual flexibility.

Recent studies of wild tamarins and marmosets have shown that at least one species exhibits variable mating patterns, including cooperative polyandry, monogamy and, more rarely, polygyny. Polyandry is thought to occur because the high frequency of twinning and the relatively high weights of infants in these species make the rearing of infants unusually difficult. Nonreproductive helpers (older ...

"Giant" tamarin from the Miocene of Colombia.

A nearly complete but badly crushed skull and mandible of Lagonimico conclucatus, gen. et sp. nov. is described from the La Victoria Formation, Colombia. The specimen is of middle Miocene age and dates from about 13.5 Ma. Features of the dentition suggest Lagonimico is a sister group to living Callitrichinae (Saguinus, Leontopithecus, Callithrix, and Cebuella). These features include having elo...

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages for specifying protocols, adversary models, and properties, and support for efficient deduction and equational reasoning. We provide an overview of the tool and its applications.

Stimulus-Response Compatibility Is Information-Action Compatibility